def f1(x:e1) -> r1: ...
